Constraint programming

Results: 1169



#Item
941

PDF Document

Add to Reading List

Source URL: www.ece.umd.edu

Language: English - Date: 2011-10-20 12:08:15
942Constraints manuscript No. (will be inserted by the editor) On the Reification of Global Constraints Nicolas Beldiceanu · Mats Carlsson · Pierre Flener · Justin Pearson

Constraints manuscript No. (will be inserted by the editor) On the Reification of Global Constraints Nicolas Beldiceanu · Mats Carlsson · Pierre Flener · Justin Pearson

Add to Reading List

Source URL: www.it.uu.se

Language: English - Date: 2012-10-23 14:28:33
943Constraints manuscript No. (will be inserted by the editor) On Matrices, Automata, and Double Counting in Constraint Programming Nicolas Beldiceanu · Mats Carlsson · Pierre

Constraints manuscript No. (will be inserted by the editor) On Matrices, Automata, and Double Counting in Constraint Programming Nicolas Beldiceanu · Mats Carlsson · Pierre

Add to Reading List

Source URL: www.it.uu.se

Language: English - Date: 2012-11-22 04:43:49
944From Prolog and Zelda to ToonTalk Ken Kahn Animated Programs 49 Fay Avenue, San Carlos, CA 94070, USA [removed] This paper will appear in the Proceedings of the International Conference on Logic

From Prolog and Zelda to ToonTalk Ken Kahn Animated Programs 49 Fay Avenue, San Carlos, CA 94070, USA [removed] This paper will appear in the Proceedings of the International Conference on Logic

Add to Reading List

Source URL: www.toontalk.com

Language: English - Date: 2008-04-09 17:13:07
945ToonTalk and Logo Is ToonTalk a colleague, competitor, successor, sibling, or child of Logo? May 23, 2001 To appear in LogoUpdate and EuroLogo 2001 Proceedings Abstract

ToonTalk and Logo Is ToonTalk a colleague, competitor, successor, sibling, or child of Logo? May 23, 2001 To appear in LogoUpdate and EuroLogo 2001 Proceedings Abstract

Add to Reading List

Source URL: www.toontalk.com

Language: English - Date: 2008-04-09 17:16:14
946A constraint-based method for solving sequential manipulation planning problems Tom´as Lozano-P´erez and Leslie Pack Kaelbling Abstract— In this paper, we describe a strategy for integrated task and motion planning b

A constraint-based method for solving sequential manipulation planning problems Tom´as Lozano-P´erez and Leslie Pack Kaelbling Abstract— In this paper, we describe a strategy for integrated task and motion planning b

Add to Reading List

Source URL: lis.csail.mit.edu

Language: English - Date: 2014-07-18 21:54:29
947A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities David Wagner Jeffrey S. Foster Eric A. Brewer University of California, Berkeley

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities David Wagner Jeffrey S. Foster Eric A. Brewer University of California, Berkeley

Add to Reading List

Source URL: www.isoc.org

Language: English - Date: 2000-02-24 15:34:44
948Characterizing Problems for Realizing Policies in Self-Adaptive and Self-Managing Systems

Characterizing Problems for Realizing Policies in Self-Adaptive and Self-Managing Systems

Add to Reading List

Source URL: www.savinetwork.ca

Language: English - Date: 2013-10-04 17:11:26
949Problem Set 4 CMSC 426 Due: Thursday, April[removed]Overview: You will implement a stereo algorithm that uses dynamic programming. This algorithm enforces the ordering constraint (or else you couldn’t use dynamic program

Problem Set 4 CMSC 426 Due: Thursday, April[removed]Overview: You will implement a stereo algorithm that uses dynamic programming. This algorithm enforces the ordering constraint (or else you couldn’t use dynamic program

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2003-04-03 15:27:12
950Pairwise Constraint Propagation by Semidefinite Programming for Semi-Supervised Classification Zhenguo Li [removed] Jianzhuang Liu

Pairwise Constraint Propagation by Semidefinite Programming for Semi-Supervised Classification Zhenguo Li [removed] Jianzhuang Liu

Add to Reading List

Source URL: www.machinelearning.org

Language: English - Date: 2008-05-02 00:22:10